Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
831	Vita for Jean H. Gallier May 16, [removed]Personal Data Work address: Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-19 10:01:17 Automated theorem proving Logic in computer science Logic programming Computer science Logical framework Formal language Unification Linear logic Mathematics Theoretical computer science Mathematical logic
832	Tutorial 19: Fourier Transform 1 Add to Reading List Source URL: www.probability.net Language: English - Date: 2004-07-25 11:24:30 Convolution Linear temporal logic Dirac delta function Mathematical analysis Fourier analysis Fourier transform
833	MARGARITA MATHEMATICA EN MEMORIA DE ´ JAVIER (CHICHO) GUADALUPE HERNANDEZ ´ Add to Reading List Source URL: www.emis.ams.org Language: English - Date: 2002-05-31 14:14:30 Philosophy of physics Linear temporal logic Quantum mechanics Μ operator Operator theory Physics Operator
834	A Deep Inference System for the Modal Logic S5 Phiniki Stouppa ∗ March 1, 2006 Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2006-03-01 08:48:04 Sequent calculus Structural proof theory Sequent Modal logic Rule of inference Cut-elimination theorem Deep inference Linear logic Formal proof Logic Proof theory Mathematical logic
835	Big Toy Models: Representing Physical Systems As Chu Spaces Samson Abramsky Oxford University Computing Laboratory September 23, 2009 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:53 Mathematical analysis Representation theory Dual space Quantum logic Adjoint functors Interpretation Self-adjoint operator Operator Linear temporal logic Physics Operator theory Mathematics
836	Description Logics Description Logics and Logics Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Metalogic Model theory Philosophical logic Satisfiability Modal logic Temporal logic Description logic Well-formed formula Linear temporal logic Logic Mathematical logic Non-classical logic
837	Description Logics Using First Order Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Metalogic Logical syntax Propositional calculus First-order logic Interpretation Satisfiability Well-formed formula Linear temporal logic Entailment Logic Model theory Formal languages
838	GDP Festschrift ENTCS, to appear Event Domains, Stable Functions and Proof-Nets Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:57 Mathematics Curry–Howard correspondence Sequent calculus Cut-elimination theorem Proof net Linear logic Denotational semantics Model theory Net Proof theory Logic Mathematical logic
839	SHELAH’S STABILITY SPECTRUM AND HOMOGENEITY SPECTRUM IN FINITE DIAGRAMS. RAMI GROSSBERG AND OLIVIER LESSMANN Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2000-06-27 04:41:57 Mathematical analysis Model theory Stability spectrum Spectrum Operator theory Spectral theory of ordinary differential equations Linear temporal logic Mathematics Spectral theory Algebra
840	BOOK REVIEWS 953 logic, the use of van Kampen diagrams and the treatment of small cancellation theory and its applications represent very fine achievements. Much of the material has appeared only in the periodical liter Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:51:12 Functions and mappings Measure theory Linear algebra Operator theory Vector space Integral Fourier transform Bounded operator Lebesgue integration Mathematical analysis Mathematics Algebra

UPDATE